Mathematics for Formal Methods, a Proposal for Education Reform
نویسنده
چکیده
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications technology. For the most part, at undergraduate level, such mathematics is generally considered to consist of discrete mathematics, including formal logic. At a research level, one expects to find abstract algebra, category theory, topos theory, etc. In this paper we discuss a body of mathematics which is foundational to formal methods per se and used for the modelling of the usual sort of system artefacts: monoids and their morphisms. In particular we show how a single notion of distribution leads to better insights into many of the standard models in use. This discussion leads naturally to salient remarks on both the need for, and suitable direction to be taken in, a proposed education reform with a particular emphasis on mathematics for Information Technology. keywords: distribution, education, formal method, modelling, monoid, morphism, structure, VDM, Z
منابع مشابه
Factors Affecting Educational Reform at the Level of National and Regional Support for High School
Purpose: This research was conducted with the aim of identifying effective factors on educational reform at the level of national and regional supports for high school mathematics. Methodology: The present study in terms of purpose was applied and in terms of implementation method was qualitative, which was performed in two stages of synthesis research and content analysis. The research enviro...
متن کاملAn Historical Study of High School Mathematics Textbooks since the Establishment of the Formal Education System in Iran
Abstract: Study on curriculum movement and variation of the mathematics textbooks in Iran is one of the fields that few studies have been accomplished, and in this field there have been no investigation reports or any particular results of such these studies. This paper deals with a short report of a comprehensive research in this field from the beginning of formal education curriculum in Iran ...
متن کاملExplaining Institutional Change in Higher Education
Higher education policy has been subject to considerable reform in OECD states over the past two decades. Some states have introduced tuition fees for the first time, others have massively increased public funding for higher education, and still others remain in stasis, retaining the elitist model with which they began the post-war era. This paper develops a formal model of the politics of high...
متن کاملA comprehensive model of hidden curriculum management in medical education
Introduction: Hidden curriculum plays a main role in professionallearning, formation of professional identity, socialization,moral development and learning values, attitudes, beliefs, andknowledge in learners, so it needs to be managed. Althoughthe majority of the theorists believe in the existence of a hiddencurriculum and its greater effect and sustainability com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998